$\forall$$x$:$\mathbb{Z}$. $\mid$$x$$\mid$ $\in$ $\mathbb{N}$